Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
361	Secure Compilation of a Multi-Tier Web Language Ioannis G. Baltopoulos Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-11-04 08:40:14 Models of computation Symbol Lambda calculus Monad Fold Valuation Software engineering Computing Declarative programming
362	Declarative Debugging of Maude Modules∗ Adri´an Riesco, Alberto Verdejo, Rafael Caballero, and Narciso Mart´ı-Oliet Technical Report SIC-6-08 Departamento de Sistemas Inform´ aticos y Computaci´ on, Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2009-01-14 12:08:17 Logic in computer science Software engineering Maude system Functional languages Formal languages Rewriting OBJ Debugging Equational logic Theoretical computer science Programming language theory Mathematical logic
363	SAT Encodings Sugar Nonogram OSS Summary . Add to Reading List Source URL: bach.istc.kobe-u.ac.jp Language: English - Date: 2010-04-19 00:19:44 Declarative programming Boolean satisfiability problem DPLL algorithm Conjunctive normal form Constraint satisfaction Solver Theoretical computer science Constraint programming Applied mathematics
364	On the Semantics of German Declarative and Interrogative Root and Complement Clauses Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:58:29 Grammar Mathematical logic Parts of speech Propositional calculus Statements Predicate Proposition Clause Logic programming Linguistics Logic Syntax
365	Call for Papers: DALT’03 First Workshop on Declarative Agent Languages and Technologies (affiliated with AAMAS 2003) Add to Reading List Source URL: centria.di.fct.unl.pt Language: English - Date: 2007-02-26 19:30:17 Programming paradigms Multi-agent system Declarative programming
366	Chapter 1 Functional Concepts in C++ Rose H. Abdul Rauf1 , Ulrich Berger2 , Anton Setzer2 3 Abstract: We describe a parser-translator program that translates typed λ-terms into C++ classes so as to integrate functional Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2007-02-18 18:37:26 Functional programming Models of computation Lambda calculus Subroutines Logic in computer science Denotational semantics Eval Type system Symbol Software engineering Computing Declarative programming
367	martinLoefRetirementVolumeMain.dvi Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2011-06-09 14:56:40 Category theory Functional programming Data types Type theory Coalgebra Recursion Initial algebra F-coalgebra List Software engineering Declarative programming Computer programming
368	1 2 Implementing Semantic Theories Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-13 11:24:11 Programming paradigms Literate programming Logical consequence Functional languages Logic programming Unification Prolog Declarative programming Curry Software engineering Computing Computer programming
369	Why Learn Haskell? Jan van Eijck CWI & ILLC, Amsterdam Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-17 05:59:51 Functional languages Functional programming Haskell Literate programming Simon Peyton Jones Hope Id Generalized algebraic data type Software engineering Declarative programming Computing
370	Principles for Computer System Design Add to Reading List Source URL: research.microsoft.com Language: English - Date: 1999-05-27 10:46:40 Data types Functional programming Data management Transaction processing NIL Butler Lampson Polymorphism Cons Two-phase commit protocol Software engineering Computing Declarative programming

UPDATE